prove the set is a subspace